Code coverage - PDFSEARCH.IO - Document Search Engine

Code coverage
Results: 436

#	Item
121	Automated Structural Testing with PathCrawler Tutorial for QSIC 2012 , , CEA, LIST, Software Safety Lab Saclay (Paris), France Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English Computing Code coverage C White-box testing IEC 61508 Test automation Software testing Software engineering Software
122	Parasoft C/C++test Qualification Kit for DO-178B/C What are DO-178B and DO-178C? DO-178B and DO-178C are guidelines that describe the objectives of software development lifecycle (SDLC) processes associated with developi Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-12-09 17:31:23 Software Software requirements Embedded systems Safety DO-178B Software testing DO-178C Parasoft Code coverage Software development Avionics Computing
123	Parasoft C/C++test is an integrated development testing solution for C and C++. It automates a broad range of software quality practices—including static code analysis, unit testing, code review, coverage analysis, run Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-11-22 06:14:02 Test automation C Microsoft Visual Studio Unit testing Software bug Regression testing Debugging Dynamic program analysis Software Software testing Parasoft
124	Guidance on the Application of Code § 4980D to Certain Types of Health Coverage Reimbursement Arrangements Notice[removed]I. PURPOSE AND OVERVIEW This notice reiterates the conclusion in previous guidance addressing emp Add to Reading List Source URL: www.irs.gov Language: English - Date: 2015-02-18 13:01:48 Government Medicine Health Reimbursement Account Health insurance Patient Protection and Affordable Care Act Medicare TRICARE Employee benefit Employee Retirement Income Security Act Employment compensation Healthcare in the United States Health
125	Microsoft Word - AL 2012 Sample Questions TTA v1.01.docx Add to Reading List Source URL: www.anztb.org Language: English - Date: 2013-11-04 17:43:13 International Software Testing Qualifications Board Rex Black Test Code coverage General Educational Development Australia and New Zealand Testing Board Software testing Education Evaluation
126	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 03:36:49 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
127	an AdaCore Publication Spring 2011 www.adacore.com newsflash Airbus Military Using GNATcheck Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:37 Computer programming AdaCore GNAT Ada A Sharp DO-178B Code coverage DO-178C GNU Compiler Collection Computing Software Ada programming language
128	REPUBLIC ACT NO[removed]AN ACT AMENDING CERTAIN SECTIONS OF THE NATIONAL INTERNAL REVENUE CODE OF 1997, AS AMENDED, BY EXCLUDING SEVERAL SERVICES FROM THE COVERAGE OF THE VALUE-ADDED TAX AND REIMPOSING THE GROSS RECEIPTS T Add to Reading List Source URL: www.bsp.gov.ph Language: English Internal Revenue Code Finance Business Taxation in Iran Taxation in the United States Tax reform Value added tax Gross income
129	Parasoft® Jtest® is an integrated solution for automating a broad range of practices proven to improve development team productivity and software quality. It focuses on practices for validating Java code and applicatio Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-12-01 04:04:05 Extreme programming Java platform Jtest Parasoft Soatest Code coverage Reliability engineering Load testing Software quality Software testing Software Software review
130	Annex 1. Scope and age coverage of country Codes. Country Bahrain Benin Add to Reading List Source URL: www.fhs.gov.hk Language: English - Date: 2014-11-07 05:40:27 Anatomy Biology Breast milk Milk World Health Organization Infant formula International Code of Marketing of Breast-milk Substitutes Baby food Human breast milk Breastfeeding Infant feeding Nutrition

UPDATE